Temporal Reasoning Publications

Publications in Temporal Reasoning

Explore the most influential research papers and scholarly works that have shaped Temporal Reasoning. Use the concept filter below to focus on a specific sub-area of research.

Temporal Reasoning

754

Publications

57K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Maintaining knowledge about temporal intervals James F. Allen Communications of the ACM EngineeringTemporal Intervals AuthorData ScienceAutomated ReasoningAlert Preferences	1983	7.5K
The temporal logic of programs Amir Pnueli Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	1977	5.6K
Temporal constraint networks Rina Dechter, Itay Meiri, Judea Pearl Artificial Intelligence Artificial IntelligenceConstraint SolvingEngineeringMachine LearningConstraint Satisfaction	1991	1.8K
Alternating-time temporal logic Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Journal of the ACM Computational LogicNon-classical LogicAlternating-time Temporal LogicEngineeringUniversal Quantification	2002	1.4K
A model for reasoning about persistence and causation Thomas Dean, Keiji Kanazawa Computational Intelligence Network RepresentationEngineeringModel-based ReasoningSocial SciencesCausal Inference	1989	990
“Sometimes” and “not never” revisited E. Allen Emerson, Joseph Y. Halpern Journal of the ACM Applied LogicEngineeringVerificationConcurrent SystemFormal Verification	1986	990
On the temporal analysis of fairness Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Applied LogicAdditional Temporal OperatorEngineeringGame TheoryVerification	1980	726
Temporal reasoning based on semi-intervals Christian Freksa Artificial Intelligence EngineeringAutomated ReasoningFormal MethodsTemporal DataComputer Science	1992	670
Temporal logic can be more expressive Pierre Wolper Information and Control EngineeringAutomated ReasoningFormal MethodsTemporal DataComputer Science	1983	658
Temporal ontology and temporal reference MoensMarc, SteedmanMark Computational Linguistics EngineeringTemporal CategoriesTemporal DatabasesLexical SemanticsSemantics	1988	578
Using temporal logics to express search control knowledge for planning Fahiem Bacchus, Froduald Kabanza Artificial Intelligence Artificial IntelligenceSearch Control KnowledgeEngineeringAi PlanningAutomated Reasoning	2000	550
A really temporal logic Rajeev Alur, Thomas A. Henzinger Journal of the ACM EngineeringVerificationSemanticsSoftware AnalysisFormal Verification	1994	503

Page 1